Languages and Programming

Results: 5418



#Item
31

In Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments, ppFirst Steps in Programming: A Rationale for Attention Investment Models Alan F. Blackwell University of Cambridge Comp

Add to Reading List

Source URL: www.cl.cam.ac.uk

- Date: 2002-12-10 07:42:49
    32

    Dualities in Programming Languages Martin Hirzel and Priya Nagpurkar IBM Watson Research Center PLDI-FIT 2010

    Add to Reading List

    Source URL: csl.stanford.edu

    - Date: 2010-06-09 06:14:39
      33

      Concepts of Programming Languages – Recitation 4: Structural Operational Semantics (SOS) and From Semantics to Interpreters Oded Padon Reference:

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2015-04-19 13:50:48
        34

        Algebraic Effects, Linearity, and Quantum Programming Languages Sam Staton Radboud University Nijmegen Abstract

        Add to Reading List

        Source URL: www.cs.ox.ac.uk

        - Date: 2015-04-08 07:43:01
          35

          On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

          Add to Reading List

          Source URL: www-ps.informatik.uni-kiel.de

          - Date: 2014-06-15 10:42:57
            36

            Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2016-11-26 08:22:59
              37

              Notes on Logical Relations and Parametricity Jeremy G. Siek March 24, 2015 These notes are based on Derek Dreyer’s lectures at the 2015 Oregon Programming Languages Summer School. T ::= Int | Bool | String | . . . | α

              Add to Reading List

              Source URL: dl.dropboxusercontent.com

                38

                Types and Type Inference Mooly Sagiv Slides by Kathleen Fisher and John Mitchell Reading: “Concepts in Programming Languages”,

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2014-05-11 15:49:09
                  39

                  Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2015-04-12 10:45:56
                    40

                    A Compiler and Run-time System for Network Programming Languages Christopher Monsanto Nate Foster

                    Add to Reading List

                    Source URL: frenetic-lang.org

                    - Date: 2016-06-10 23:59:37
                      UPDATE